TYPE ANALYSIS FOR THE PREDICATE PROGRAMMING LANGUAGE

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

A new formalism, called Hiord, for defining type-free higherorder logic programming languages with predicate abstraction is introduced. A model theory, based on partial combinatory algebras, is presented, with respect to which the formalism is shown sound. A programming language built on a subset of Hiord, and its implementation are discussed. A new proposal for defining modules in this framewo...

متن کامل

Verified type checker for Jolie programming language

Jolie is a service-oriented programming language which comes with the formal specication of its type system. However, there is no tool to ensure that programs in Jolie are well-typed. In this paper we provide the results of building a type checker for Jolie as a part of its syntax and semantics formal model. We express the type checker as a program with dependent types in Agda proof assistant w...

متن کامل

An Incremental Type Inference System for the Programming Language

Modern computing environments strive to be robust and reliable, and at the same time, aim at providing enough exibility to an interactive user to edit, debug, and test programs easily and e ciently. Strongly typed languages satisfactorily meet the former goal by guaranteeing that \type-consistent" programs will not incur run-time type-errors. But most programming environments for such languages...

متن کامل

A predicate for separating language classes

We show how a predicate can be used to separate language classes It has been a long-standing open problem whether appearance checking enhances the power of programmed grammars or not. By now, two independent complicated proofs appeared for the separation result in question 4, 3]. In this note, we present another decidability argument which readily implies the above-mentioned result and is also ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: System Informatics

سال: 2017

ISSN: 2307-6410

DOI: 10.31144/si.2307-6410.2017.n9.p1-22